Adaptive Learned Belief Propagation for Decoding Error-Correcting Codes
arxiv.org·1d
🧮Kolmogorov Complexity
Superimposed codes, take three
blog.sesse.net·4h
🔢Bitwise Algorithms
Strong Goldbach in 2nd-order logic under standard semantics, semantically closed
medium.com·11h·
Discuss: Hacker News
🧮Constraint SMT
Extensions and Shadows (8)
sites.psu.edu·1d
🧮Kolmogorov Bounds
The Performance of Low-Synchronization Variants of Reorthogonalized Block Classical Gram--Schmidt
arxiv.org·8h
🌊Stream Ciphers
Symbolic-numeric programming in scientific computing
dspace.mit.edu·8h
🧬Functional Programming
Practical Implementation of Encoder–Decoder Architecture
adaline.ai·20h·
Discuss: Hacker News
🚀SIMD Text Processing
Building great SDKs
newsletter.pragmaticengineer.com·21h
🔌Interface Evolution
Polar Coding and Linear Decoding
arxiv.org·1d
ℹ️Information Theory
Embeddings & Cosine Similarity Explained Simply
dev.to·1d·
Discuss: DEV
📐Vector Similarity
Systolic Array-based Accelerator for State-Space Models
arxiv.org·8h
🚀SIMD Parsing
Model-free Speculative Decoding for Transformer-based ASR with Token Map Drafting
arxiv.org·8h
🌊Streaming Compression
Extensive desk checking of PCB and final design for core memory replacement for 1130 system
rescue1130.blogspot.com·15h·
Discuss: rescue1130.blogspot.com
⚡Circuit Archaeology
Postgres 18 beta2: large server, sysbench
smalldatum.blogspot.com·18h·
Discuss: smalldatum.blogspot.com
⚡Performance Tools
Modelling Arbitrary Computations in the Symbolic Model using an Equational Theory for Bounded Binary Circuits
arxiv.org·8h
🎞️Tape Combinatorics
Compressed Sensing
en.wikipedia.org·1d·
Discuss: Hacker News
📐Compression Mathematics
Bay Area startup Harmonic gets gold medal at 2025 IMO with formal verification
harmonic.fun·16h·
Discuss: Hacker News
🧮Theorem Proving
Encoding SAT in OCaml GADTs
farlow.dev·2d·
Discuss: Hacker News
λLambda Formalization
Data Privacy Challenges in Open MCP Architectures
hackernoon.com·20h
🔒WASM Capabilities
HexaMorphHash HMH- Homomorphic Hashing for Secure and Efficient Cryptographic Operations in Data Integrity Verification
arxiv.org·8h
🔐Hash Functions